Automated Test Generation from Models Based on Functional Software Specifications
نویسندگان
چکیده
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this tool can be used in today’s engineering practice and, hence, the approach must not require costly changes in the current test generation process and not assume data and skills that do not exist in reality. We focus on design decisions that are motivated by this objective. The proposed solution offers a natural-language-template-based interface for acquiring software requirements. The content of the filled-in templates can be represented in propositional logic and temporal relations and form the model of the intended correct behavior. Models of potential faulty behaviors are generated from this OK model by a number of (types of) transformations. The fault types are defined mainly to match the intuition behind manually generated test cases and, hence, can deliver similar, but more systematic, test suites.
منابع مشابه
Automated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملAutomated Test Case Generation from IFAD VDM++ Specifications
Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While objectoriented paradigm is the most widely accepted methodology for software development, generation of test cases from object-oriented formal specifications is still a relatively unexplored area. In this paper, we present a nov...
متن کاملAutomated Test Execution Effort Estimation Based on Functional Test Specifications
A usual activity performed to ensure quality is software testing. Although important, testing is an expensive activity. For that reason, test teams should be able to estimate the required effort to perform their test activities on the schedule and to request more resources or negotiate deadlines when necessary. This is even more important when regarding regression testing, where the execution o...
متن کاملAn Integrated Classification-Tree Methodology for Test Case Generation
This paper describes an integrated methodology for the construction of test cases from functional specifications using the classification-tree method. It is an integration of our extensions to the classificationhierarchy table, the classification tree construction algorithm, and the classification tree restructuring technique. Based on the methodology, a prototype system ADDICT, which stands fo...
متن کاملMulti-paradigm Models as Source for Automated Test Construction
The article discusses problems of model based test construction and ways of their solution using different kinds of models (operational, contract, axiomatic, and historybased specifications). The main idea is that the integration of model based techniques having different underlying formalisms can give valuable practical results in test construction. The idea is illustrated by successful applic...
متن کامل